// Generated from mccproperty.g by ANTLR 4.0
package parser;
import org.antlr.v4.runtime.Lexer;
import org.antlr.v4.runtime.CharStream;
import org.antlr.v4.runtime.Token;
import org.antlr.v4.runtime.TokenStream;
import org.antlr.v4.runtime.*;
import org.antlr.v4.runtime.atn.*;
import org.antlr.v4.runtime.dfa.DFA;
import org.antlr.v4.runtime.misc.*;

@SuppressWarnings({"all", "warnings", "unchecked", "unused", "cast"})
public class mccpropertyLexer extends Lexer {
	protected static final DFA[] _decisionToDFA;
	protected static final PredictionContextCache _sharedContextCache =
		new PredictionContextCache();
	public static final int
		T__44=1, T__43=2, T__42=3, T__41=4, T__40=5, T__39=6, T__38=7, T__37=8, 
		T__36=9, T__35=10, T__34=11, T__33=12, T__32=13, T__31=14, T__30=15, T__29=16, 
		T__28=17, T__27=18, T__26=19, T__25=20, T__24=21, T__23=22, T__22=23, 
		T__21=24, T__20=25, T__19=26, T__18=27, T__17=28, T__16=29, T__15=30, 
		T__14=31, T__13=32, T__12=33, T__11=34, T__10=35, T__9=36, T__8=37, T__7=38, 
		T__6=39, T__5=40, T__4=41, T__3=42, T__2=43, T__1=44, T__0=45, ID=46, 
		EOL=47, INTEGER=48, WS=49;
	public static String[] modeNames = {
		"DEFAULT_MODE"
	};

	public static final String[] tokenNames = {
		"<INVALID>",
		"'marking'", "'reach'", "'&'", "'E'", "','", "'*'", "'-'", "':'", "'('", 
		"'A'", "'W'", "'<'", "'l4'", "'false'", "'!='", "'l2'", "'N'", "'<='", 
		"'?'", "'I'", "'l1'", "'G'", "'bound'", "'U'", "'ctl'", "'true'", "'struct'", 
		"'xor'", "'=>'", "')'", "'+'", "'X'", "'ltl'", "'<=>'", "'='", "'l3'", 
		"'deadlock'", "'l0'", "'>'", "'F'", "'/'", "'~'", "'>='", "'|'", "'!'", 
		"ID", "EOL", "INTEGER", "WS"
	};
	public static final String[] ruleNames = {
		"T__44", "T__43", "T__42", "T__41", "T__40", "T__39", "T__38", "T__37", 
		"T__36", "T__35", "T__34", "T__33", "T__32", "T__31", "T__30", "T__29", 
		"T__28", "T__27", "T__26", "T__25", "T__24", "T__23", "T__22", "T__21", 
		"T__20", "T__19", "T__18", "T__17", "T__16", "T__15", "T__14", "T__13", 
		"T__12", "T__11", "T__10", "T__9", "T__8", "T__7", "T__6", "T__5", "T__4", 
		"T__3", "T__2", "T__1", "T__0", "ID", "EOL", "INTEGER", "WS"
	};


	public mccpropertyLexer(CharStream input) {
		super(input);
		_interp = new LexerATNSimulator(this,_ATN,_decisionToDFA,_sharedContextCache);
	}

	@Override
	public String getGrammarFileName() { return "mccproperty.g"; }

	@Override
	public String[] getTokenNames() { return tokenNames; }

	@Override
	public String[] getRuleNames() { return ruleNames; }

	@Override
	public String[] getModeNames() { return modeNames; }

	@Override
	public ATN getATN() { return _ATN; }

	@Override
	public void action(RuleContext _localctx, int ruleIndex, int actionIndex) {
		switch (ruleIndex) {
		case 48: WS_action((RuleContext)_localctx, actionIndex); break;
		}
	}
	private void WS_action(RuleContext _localctx, int actionIndex) {
		switch (actionIndex) {
		case 0: skip();  break;
		}
	}

	public static final String _serializedATN =
		"\2\4\63\u0107\b\1\4\2\t\2\4\3\t\3\4\4\t\4\4\5\t\5\4\6\t\6\4\7\t\7\4\b"+
		"\t\b\4\t\t\t\4\n\t\n\4\13\t\13\4\f\t\f\4\r\t\r\4\16\t\16\4\17\t\17\4\20"+
		"\t\20\4\21\t\21\4\22\t\22\4\23\t\23\4\24\t\24\4\25\t\25\4\26\t\26\4\27"+
		"\t\27\4\30\t\30\4\31\t\31\4\32\t\32\4\33\t\33\4\34\t\34\4\35\t\35\4\36"+
		"\t\36\4\37\t\37\4 \t \4!\t!\4\"\t\"\4#\t#\4$\t$\4%\t%\4&\t&\4\'\t\'\4"+
		"(\t(\4)\t)\4*\t*\4+\t+\4,\t,\4-\t-\4.\t.\4/\t/\4\60\t\60\4\61\t\61\4\62"+
		"\t\62\3\2\3\2\3\2\3\2\3\2\3\2\3\2\3\2\3\3\3\3\3\3\3\3\3\3\3\3\3\4\3\4"+
		"\3\5\3\5\3\6\3\6\3\7\3\7\3\b\3\b\3\t\3\t\3\n\3\n\3\13\3\13\3\f\3\f\3\r"+
		"\3\r\3\16\3\16\3\16\3\17\3\17\3\17\3\17\3\17\3\17\3\20\3\20\3\20\3\21"+
		"\3\21\3\21\3\22\3\22\3\23\3\23\3\23\3\24\3\24\3\25\3\25\3\26\3\26\3\26"+
		"\3\27\3\27\3\30\3\30\3\30\3\30\3\30\3\30\3\31\3\31\3\32\3\32\3\32\3\32"+
		"\3\33\3\33\3\33\3\33\3\33\3\34\3\34\3\34\3\34\3\34\3\34\3\34\3\35\3\35"+
		"\3\35\3\35\3\36\3\36\3\36\3\37\3\37\3 \3 \3!\3!\3\"\3\"\3\"\3\"\3#\3#"+
		"\3#\3#\3$\3$\3%\3%\3%\3&\3&\3&\3&\3&\3&\3&\3&\3&\3\'\3\'\3\'\3(\3(\3)"+
		"\3)\3*\3*\3+\3+\3,\3,\3,\3-\3-\3.\3.\3/\6/\u00f3\n/\r/\16/\u00f4\3\60"+
		"\6\60\u00f8\n\60\r\60\16\60\u00f9\3\61\6\61\u00fd\n\61\r\61\16\61\u00fe"+
		"\3\62\6\62\u0102\n\62\r\62\16\62\u0103\3\62\3\62\2\63\3\3\1\5\4\1\7\5"+
		"\1\t\6\1\13\7\1\r\b\1\17\t\1\21\n\1\23\13\1\25\f\1\27\r\1\31\16\1\33\17"+
		"\1\35\20\1\37\21\1!\22\1#\23\1%\24\1\'\25\1)\26\1+\27\1-\30\1/\31\1\61"+
		"\32\1\63\33\1\65\34\1\67\35\19\36\1;\37\1= \1?!\1A\"\1C#\1E$\1G%\1I&\1"+
		"K\'\1M(\1O)\1Q*\1S+\1U,\1W-\1Y.\1[/\1]\60\1_\61\1a\62\1c\63\2\3\2\6\6"+
		"\62;C\\aac|\4\f\f\17\17\3\62;\5\13\f\17\17\"\"\u010a\2\3\3\2\2\2\2\5\3"+
		"\2\2\2\2\7\3\2\2\2\2\t\3\2\2\2\2\13\3\2\2\2\2\r\3\2\2\2\2\17\3\2\2\2\2"+
		"\21\3\2\2\2\2\23\3\2\2\2\2\25\3\2\2\2\2\27\3\2\2\2\2\31\3\2\2\2\2\33\3"+
		"\2\2\2\2\35\3\2\2\2\2\37\3\2\2\2\2!\3\2\2\2\2#\3\2\2\2\2%\3\2\2\2\2\'"+
		"\3\2\2\2\2)\3\2\2\2\2+\3\2\2\2\2-\3\2\2\2\2/\3\2\2\2\2\61\3\2\2\2\2\63"+
		"\3\2\2\2\2\65\3\2\2\2\2\67\3\2\2\2\29\3\2\2\2\2;\3\2\2\2\2=\3\2\2\2\2"+
		"?\3\2\2\2\2A\3\2\2\2\2C\3\2\2\2\2E\3\2\2\2\2G\3\2\2\2\2I\3\2\2\2\2K\3"+
		"\2\2\2\2M\3\2\2\2\2O\3\2\2\2\2Q\3\2\2\2\2S\3\2\2\2\2U\3\2\2\2\2W\3\2\2"+
		"\2\2Y\3\2\2\2\2[\3\2\2\2\2]\3\2\2\2\2_\3\2\2\2\2a\3\2\2\2\2c\3\2\2\2\3"+
		"e\3\2\2\2\5m\3\2\2\2\7s\3\2\2\2\tu\3\2\2\2\13w\3\2\2\2\ry\3\2\2\2\17{"+
		"\3\2\2\2\21}\3\2\2\2\23\177\3\2\2\2\25\u0081\3\2\2\2\27\u0083\3\2\2\2"+
		"\31\u0085\3\2\2\2\33\u0087\3\2\2\2\35\u008a\3\2\2\2\37\u0090\3\2\2\2!"+
		"\u0093\3\2\2\2#\u0096\3\2\2\2%\u0098\3\2\2\2\'\u009b\3\2\2\2)\u009d\3"+
		"\2\2\2+\u009f\3\2\2\2-\u00a2\3\2\2\2/\u00a4\3\2\2\2\61\u00aa\3\2\2\2\63"+
		"\u00ac\3\2\2\2\65\u00b0\3\2\2\2\67\u00b5\3\2\2\29\u00bc\3\2\2\2;\u00c0"+
		"\3\2\2\2=\u00c3\3\2\2\2?\u00c5\3\2\2\2A\u00c7\3\2\2\2C\u00c9\3\2\2\2E"+
		"\u00cd\3\2\2\2G\u00d1\3\2\2\2I\u00d3\3\2\2\2K\u00d6\3\2\2\2M\u00df\3\2"+
		"\2\2O\u00e2\3\2\2\2Q\u00e4\3\2\2\2S\u00e6\3\2\2\2U\u00e8\3\2\2\2W\u00ea"+
		"\3\2\2\2Y\u00ed\3\2\2\2[\u00ef\3\2\2\2]\u00f2\3\2\2\2_\u00f7\3\2\2\2a"+
		"\u00fc\3\2\2\2c\u0101\3\2\2\2ef\7o\2\2fg\7c\2\2gh\7t\2\2hi\7m\2\2ij\7"+
		"k\2\2jk\7p\2\2kl\7i\2\2l\4\3\2\2\2mn\7t\2\2no\7g\2\2op\7c\2\2pq\7e\2\2"+
		"qr\7j\2\2r\6\3\2\2\2st\7(\2\2t\b\3\2\2\2uv\7G\2\2v\n\3\2\2\2wx\7.\2\2"+
		"x\f\3\2\2\2yz\7,\2\2z\16\3\2\2\2{|\7/\2\2|\20\3\2\2\2}~\7<\2\2~\22\3\2"+
		"\2\2\177\u0080\7*\2\2\u0080\24\3\2\2\2\u0081\u0082\7C\2\2\u0082\26\3\2"+
		"\2\2\u0083\u0084\7Y\2\2\u0084\30\3\2\2\2\u0085\u0086\7>\2\2\u0086\32\3"+
		"\2\2\2\u0087\u0088\7n\2\2\u0088\u0089\7\66\2\2\u0089\34\3\2\2\2\u008a"+
		"\u008b\7h\2\2\u008b\u008c\7c\2\2\u008c\u008d\7n\2\2\u008d\u008e\7u\2\2"+
		"\u008e\u008f\7g\2\2\u008f\36\3\2\2\2\u0090\u0091\7#\2\2\u0091\u0092\7"+
		"?\2\2\u0092 \3\2\2\2\u0093\u0094\7n\2\2\u0094\u0095\7\64\2\2\u0095\"\3"+
		"\2\2\2\u0096\u0097\7P\2\2\u0097$\3\2\2\2\u0098\u0099\7>\2\2\u0099\u009a"+
		"\7?\2\2\u009a&\3\2\2\2\u009b\u009c\7A\2\2\u009c(\3\2\2\2\u009d\u009e\7"+
		"K\2\2\u009e*\3\2\2\2\u009f\u00a0\7n\2\2\u00a0\u00a1\7\63\2\2\u00a1,\3"+
		"\2\2\2\u00a2\u00a3\7I\2\2\u00a3.\3\2\2\2\u00a4\u00a5\7d\2\2\u00a5\u00a6"+
		"\7q\2\2\u00a6\u00a7\7w\2\2\u00a7\u00a8\7p\2\2\u00a8\u00a9\7f\2\2\u00a9"+
		"\60\3\2\2\2\u00aa\u00ab\7W\2\2\u00ab\62\3\2\2\2\u00ac\u00ad\7e\2\2\u00ad"+
		"\u00ae\7v\2\2\u00ae\u00af\7n\2\2\u00af\64\3\2\2\2\u00b0\u00b1\7v\2\2\u00b1"+
		"\u00b2\7t\2\2\u00b2\u00b3\7w\2\2\u00b3\u00b4\7g\2\2\u00b4\66\3\2\2\2\u00b5"+
		"\u00b6\7u\2\2\u00b6\u00b7\7v\2\2\u00b7\u00b8\7t\2\2\u00b8\u00b9\7w\2\2"+
		"\u00b9\u00ba\7e\2\2\u00ba\u00bb\7v\2\2\u00bb8\3\2\2\2\u00bc\u00bd\7z\2"+
		"\2\u00bd\u00be\7q\2\2\u00be\u00bf\7t\2\2\u00bf:\3\2\2\2\u00c0\u00c1\7"+
		"?\2\2\u00c1\u00c2\7@\2\2\u00c2<\3\2\2\2\u00c3\u00c4\7+\2\2\u00c4>\3\2"+
		"\2\2\u00c5\u00c6\7-\2\2\u00c6@\3\2\2\2\u00c7\u00c8\7Z\2\2\u00c8B\3\2\2"+
		"\2\u00c9\u00ca\7n\2\2\u00ca\u00cb\7v\2\2\u00cb\u00cc\7n\2\2\u00ccD\3\2"+
		"\2\2\u00cd\u00ce\7>\2\2\u00ce\u00cf\7?\2\2\u00cf\u00d0\7@\2\2\u00d0F\3"+
		"\2\2\2\u00d1\u00d2\7?\2\2\u00d2H\3\2\2\2\u00d3\u00d4\7n\2\2\u00d4\u00d5"+
		"\7\65\2\2\u00d5J\3\2\2\2\u00d6\u00d7\7f\2\2\u00d7\u00d8\7g\2\2\u00d8\u00d9"+
		"\7c\2\2\u00d9\u00da\7f\2\2\u00da\u00db\7n\2\2\u00db\u00dc\7q\2\2\u00dc"+
		"\u00dd\7e\2\2\u00dd\u00de\7m\2\2\u00deL\3\2\2\2\u00df\u00e0\7n\2\2\u00e0"+
		"\u00e1\7\62\2\2\u00e1N\3\2\2\2\u00e2\u00e3\7@\2\2\u00e3P\3\2\2\2\u00e4"+
		"\u00e5\7H\2\2\u00e5R\3\2\2\2\u00e6\u00e7\7\61\2\2\u00e7T\3\2\2\2\u00e8"+
		"\u00e9\7\u0080\2\2\u00e9V\3\2\2\2\u00ea\u00eb\7@\2\2\u00eb\u00ec\7?\2"+
		"\2\u00ecX\3\2\2\2\u00ed\u00ee\7~\2\2\u00eeZ\3\2\2\2\u00ef\u00f0\7#\2\2"+
		"\u00f0\\\3\2\2\2\u00f1\u00f3\t\2\2\2\u00f2\u00f1\3\2\2\2\u00f3\u00f4\3"+
		"\2\2\2\u00f4\u00f2\3\2\2\2\u00f4\u00f5\3\2\2\2\u00f5^\3\2\2\2\u00f6\u00f8"+
		"\t\3\2\2\u00f7\u00f6\3\2\2\2\u00f8\u00f9\3\2\2\2\u00f9\u00f7\3\2\2\2\u00f9"+
		"\u00fa\3\2\2\2\u00fa`\3\2\2\2\u00fb\u00fd\t\4\2\2\u00fc\u00fb\3\2\2\2"+
		"\u00fd\u00fe\3\2\2\2\u00fe\u00fc\3\2\2\2\u00fe\u00ff\3\2\2\2\u00ffb\3"+
		"\2\2\2\u0100\u0102\t\5\2\2\u0101\u0100\3\2\2\2\u0102\u0103\3\2\2\2\u0103"+
		"\u0101\3\2\2\2\u0103\u0104\3\2\2\2\u0104\u0105\3\2\2\2\u0105\u0106\b\62"+
		"\2\2\u0106d\3\2\2\2\7\2\u00f4\u00f9\u00fe\u0103";
	public static final ATN _ATN =
		ATNSimulator.deserialize(_serializedATN.toCharArray());
	static {
		_decisionToDFA = new DFA[_ATN.getNumberOfDecisions()];
	}
}